Making Programs Forget: Enforcing Lifetime for Sensitive Data
نویسندگان
چکیده
This paper introduces guaranteed data lifetime, a novel system property ensuring that sensitive data cannot be retrieved from a system beyond a specified time. The trivial way to achieve this is to “reboot”; however, this is disruptive from the user’s perspective, and may not even eliminate disk copies. We discuss an alternate approach based on state re-incarnation where data expiry is completely transparent to the user, and can be used even if the system is not designed a priori to provide the property.
منابع مشابه
Customer lifetime value model in an online toy store
Business all around the world uses different approaches to know their customers, segment them and formulate suitable strategies for them. One of these approaches is calculating the value of each customer for the company. In this paper by calculating Customer Lifetime Value (CLV) for individual customers of an online toy store named Alakdolak, three customer segments are extracted. The level of ...
متن کاملAre we aware of our ability to forget? Metacognitive predictions of directed forgetting.
It is often important to accurately predict not only what information we will later remember, but also what information we are likely to forget. The present research examined these abilities in the context of item-method directed forgetting, to determine whether people are aware of their strategic control of remembering and forgetting, as well as what cues are used when making metacognitive jud...
متن کاملDEICS: Data Erasure in Concurrent Software
A well known tenet for ensuring unauthorized leaks of sensitive data such as passwords and cryptographic keys is to erase (”zeroize”) them after their intended use in any program. Prior work on minimizing sensitive data lifetimes has focused exclusively on sequential programs. In this work, we address the problem of data lifetime minimization for concurrent programs. We develop a new algorithm ...
متن کاملMixed Lazy/Strict Graph Semantics
Explicitly enforcing strictness is often used by functional programmers as an important tool for making applications fit time and space efficiency requirements. Few functional programmers however, are familiar with the consequences of explicitly enforcing strictness for formal reasoning about their programs. Some “folklore” knowledge has emerged but this is based on experience rather than on ri...
متن کاملWriting Internal Documentation
Internal documentation addresses and maintains the program understanding and is intended for current and future developers. Current developers document thoughts and rationales behind a program, so future developers can gain understanding of the program, without resorting to reverse engineering (either manual or “automatic”). We know that programs that are documented in this way are likely to be...
متن کامل